منابع مشابه
From Bialgebraic Semantics to Congruence Formats
A general and abstract framework to defining congruence formats for various process equivalences is presented. The framework extends bialgebraic techniques of Turi and Plotkin with an abstract coalgebraic approach to process equivalence, based on a notion of test suite. The resulting technique is illustrated on the example of completed trace equivalence. Rather than providing formal proofs, the...
متن کاملBialgebraic Semantics and Recursion
In [9] a unifying framework was given for operational and denotational semantics. It uses bialgebras, which are combinations of algebras (used for syntax and denotational semantics) and coalgebras (used for operational semantics and solutions to domain equations). Here we report progress on the problem of adapting that framework to include recursion. A number of difficulties were encountered. A...
متن کاملString Dualities from Matrix Theory
We suggest that the (2,0) six dimensional field theory compactified on S × K3 is the Matrix model description of both M-theory on K3 and the Heterotic string on T . This proposal is different from existing proposals for the Heterotic theory. Different limits of the base space geometry give the different space-time interpretations, making Mtheory/Heterotic duality manifest. We also present parti...
متن کاملBialgebraic Modelling of Timed Processes
We give an abstract axiomatic account of timed processes using monoids and their (partial and total) actions. Subsequently, we present categorical formulations thereof, including a novel characterisation of partial monoid actions as coalgebras for an evolution comonad. Adapting the approach of Turi and Plotkin [24], we then exhibit an abstract theory of well-behaved operational rules suitable f...
متن کاملStructural congruence for bialgebraic semantics
It was observed by Turi and Plotkin that structural operational semantics can be studied at the level of universal coalgebra, providing specification formats for well-behaved operations on many different types of systems. We extend this framework with non-structural assignment rules which can express, for example, the syntactic format for structural congruences proposed by Mousavi and Reniers. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
سال: 1996
ISSN: 0263-6115
DOI: 10.1017/s1446788700037897